39

Small trusted primitives for dependable systems

Année:
2011
Langue:
english
Fichier:
PDF, 296 KB
english, 2011
43

Towards verifiable resource accounting for outsourced computation

Année:
2013
Langue:
english
Fichier:
PDF, 718 KB
english, 2013
46

Attested append-only memory

Année:
2007
Langue:
english
Fichier:
PDF, 353 KB
english, 2007
48

Path-exploration lifting

Année:
2012
Langue:
english
Fichier:
PDF, 495 KB
english, 2012